ma-interface-inr(X) == ma-interface-compose(x.inl (inr x ) ;X) 

latex

Definitions	ma-interface-compose(g;X), x.A(x), inl x , inr x
FDL editor aliases	ma-interface-inr